Câu ví dụ That is, X is nonempty and there is no surjective function from the natural numbers to X.Nghĩa là X là không rỗng và không có toàn ánh từ tập hợp các số tự nhiên tới X.